Research Group

Programming Languages & Verification

Mission: improve the software and hardware development process by replacing ugly development techniques with beautiful ones

Secret weapon: applied mathematical logic, including computer theorem proving (especially Coq) and type systems

Members

Projects

News